Combining Texts

All the ideas for 'Wiener Logik', 'Formal and Transcendental Logic' and 'Truth-maker Realism: response to Gregory'

expand these ideas     |    start again     |     specify just one area for these texts

7 ideas

2. Reason / D. Definition / 2. Aims of Definition
18261 A simplification which is complete constitutes a definition [Kant]
3. Truth / B. Truthmakers / 2. Truthmaker Relation
18470 Maybe truth-making is an unanalysable primitive, but we can specify principles for it [Smith,B]
5. Theory of Logic / A. Overview of Logic / 3. Value of Logic
22275 Logic gives us the necessary rules which show us how we ought to think [Kant]
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
21222 Logicians presuppose a world, and ignore logic/world connections, so their logic is impure [Husserl, by Velarde-Mayol]
21223 Phenomenology grounds logic in subjective experience [Husserl, by Velarde-Mayol]
6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics
21224 Pure mathematics is the relations between all possible objects, and is thus formal ontology [Husserl, by Velarde-Mayol]
13. Knowledge Criteria / A. Justification Problems / 3. Internal or External / b. Pro-externalism
18260 If we knew what we know, we would be astonished [Kant]